CHR modulaire avec ask et tell
نویسندگان
چکیده
Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CHR, notre approche est complètement générale. Elle ne repose pas sur une condition de dérivabilité automatique de la vérification de l’implication des gardes, mais sur une discipline de programmation qui invite à définir par des règles CHRat la vérification à la fois de la satisfiabilité (tell) et de l’implication (ask) pour chaque contrainte. Nous définissons les sémantiques opérationnelles et déclaratives de CHRat, décrivons une transformation des composants CHRat en programmes CHR classiques, et prouvons la préservation de la sémantique. Nous donnons ensuite des exemples de modularisation pour des solveurs de contraintes CHR classiques.
منابع مشابه
Modular CHR with ask and tell
In this paper, we introduce a modular version of the Constraint Handling Rules language CHR, called CHRat for modular CHR with ask and tell. Any constraint de ned in a CHRat component can be reused both in rules and guards in another CHRat component to de ne new constraint solvers. Unlike previous work on modular CHR, our approach is completely general as it does not rely on an automatic deriva...
متن کاملMultiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps
Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...
متن کاملAnnotation sémantique du French Treebank à l'aide de la réécriture modulaire de graphes (Semantic Annotation of the French Treebank using Modular Graph Rewriting) [in French]
RÉSUMÉ Nous proposons d’annoter le French Treebank à l’aide de dépendances sémantiques dans le cadre de la DMRS en partant d’une annotation en dépendances syntaxiques de surface et en utilisant la réécriture modulaire de graphes. L’article présente un certain nombre d’avancées concernant le calcul de réécriture utilisé : l’utilisation de règles pour faire le lien avec des lexiques, en particuli...
متن کامل